Nuprl Definition : Reffect-x 11,40

Reffect-x(x1)
== es_realizer_ind(x1;
== es_realizer_ind(;
== es_realizer_ind(left,right,rec1,rec2.;
== es_realizer_ind(loc,T,x,v.;
== es_realizer_ind(loc,T,x,L.;
== es_realizer_ind(lnk,tag,L.;
== es_realizer_ind(loc,ds,knd,T,x,f.x;
== es_realizer_ind(ds,knd,T,l,dt,g.;
== es_realizer_ind(loc,ds,a,p,P.;
== es_realizer_ind(loc,k,L.;
== es_realizer_ind(loc,k,L.;
== es_realizer_ind(loc,x,L.
latex


Definitionses realizer ind,
FDL editor aliasesReffect-x

origin